test_vandc128_1:
  #_ REGISTER_IN v3 [FFFF0101, 7070FFFF, 7FFFFFFF, 00000000]
  #_ REGISTER_IN v4 [80081010, 808F0020, 7FFFFFF0, 8FFFFFFF]
  vandc128 v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [FFFF0101, 7070FFFF, 7FFFFFFF, 00000000]
  #_ REGISTER_OUT v4 [80081010, 808F0020, 7FFFFFF0, 8FFFFFFF]
  #_ REGISTER_OUT v5 [7FF70101, 7070FFDF, 0000000F, 00000000]
